翻訳と辞書 |
Moscow ML A light-weight implementation of Standard ML written by Sergei Romanenko of the Keldysh Institute of Applied Mathematics with assistance from Peter Sestoft , Royal Veterinary and Agricultural University. Moscow ML is based on CAML Light. Version: 1.20 implements the Standard ML Core language. The sublanguage of Modules implemented by Moscow ML contains signatures and non-nested structures, and identifies structures with source files. It is certainly less expressive than the full Standard ML Modules language, but the {type-safe} separate compilation facility is simple, useful, and easy to use. It is the intention to implement the full Standard ML Modules language (including functors) in due course. Compilation of a signature produces a compiled interface file, which is used when compiling other signatures and structures. Compilation of a structure produces a byte-code file. Bytecode files are compact a
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|